$\vdash$  $\forall$$A$, $B$:Type, $f$:($A$$\rightarrow$$B$). ($f$ o Id) = $f$